# -*- mode: snippet -*-
# name: Require Import
# --
Require Import $1.
